61. Asymptotics and special function
پدیدآورنده: / [by] F. W. J. Olver
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Functions, Special,Asymptotic expansions,Differential equations, Numerical solutions
رده :
QA351
.
O48
1974
62. Asymptotics and special functions
پدیدآورنده: Olver, Frank W. J.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Functions, Special,، Asymptotic expansions,، Differential equations-- Numerical solutions
رده :
QA
351
.
O48
63. Automated Deduction -- CADE-12 :
پدیدآورنده: edited by Alan Bundy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
65. BL,BL
پدیدآورنده: / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
66. Boolean functions
پدیدآورنده: / Yves Crama, Peter L. Hammer
کتابخانه: كتابخانه مركزی دانشگاه علوم بهزیستی و توانبخشی (تهران)
موضوع: Algebraic functions,Algebra, Boolean
رده :
QA341
.
C73
2011
67. Boolean functions
پدیدآورنده: / Yves Crama, Peter L. Hammer
کتابخانه: کتابخانه مرکز روانپزشکی رازی (تهران)
موضوع: Algebraic functions,Algebra, Boolean
رده :
QA341
.
C73
2011
68. Boolean functions: theory, algorithms, and applications
پدیدآورنده: Crama, Yves
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Algebraic functions,، Algebra, Boolean
رده :
QA
341
.
C73
69. Computational and Algorithmic Problems in Finite Fields
پدیدآورنده: by Igor E. Shparlinski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra -- Data processing.,Information theory.,Mathematics.
رده :
QA247
.
3
B954
1992
70. Computations in Algebraic Geometry with Macaulay 2
پدیدآورنده: edited by David Eisenbud, Michael Stillman, Daniel R. Grayson, Bernd Sturmfels.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra-- Data processing.,Combinatorics.,Geometry, Algebraic.,Mathematics.
71. Computer algebra in quantum field theory
پدیدآورنده: / edited by Carsten Schneider, Johannes Blumlein
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Quantum field theory, Data processing,Quantum field theory, Mathematics,Algebra, Computer programs,SCIENCE / Energy, bisacsh,SCIENCE / Mechanics / General, bisacsh,SCIENCE / Physics / General, bisacsh
رده :
E-BOOK
72. Computers and Exploratory Learning
پدیدآورنده: edited by Andrea A. diSessa, Celia Hoyles, Richard Noss, Laurie D. Edwards.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer-assisted instruction -- Congresses.,Education -- Data processing -- Congresses.,Human-computer interaction -- Congresses.
رده :
LB1028
.
43
E358
1995
73. Computing with foresight and industry :
پدیدآورنده: Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.
رده :
QA9
.
59
.
C67
2019
74. Concentration inequalities :
پدیدآورنده: Stéphane Boucheron, Gábor Lugosi, Pascal Massart
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Concentration functions,Inequalities (Mathematics),Measure theory
رده :
QA273
.
6
.
B68
2013
75. Dimensionality Reducing Expansion of Multivariate Integration
پدیدآورنده: by Tian-Xiao He.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics.,Differential equations, Partial.,Economics-- Statistics.,Mathematics.
76. Empirical processes with applications to statistics /
پدیدآورنده: Galen R. Shorack, Jon A. Wellner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Distribution (Probability theory),Mathematical statistics.,Random variables.,Distribution (Probability theory),Mathematical statistics.,Mathematical Statistics.,Mathematics.,Physical Sciences & Mathematics.,Random variables.
رده :
QA276
.
S483
2009eb
77. Formal Power Series and Algebraic Combinatorics
پدیدآورنده: edited by Daniel Krob, Alexander A. Mikhalev, Alexander V. Mikhalev.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorics.,Computer science.,Mathematics.
78. Hadamard transforms
پدیدآورنده: Sos Agaian ... [et al.].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Hadamard matrices.
79. How do rogue nations threaten human rights? -- North Korea represses freedom / Kay Seok -- Iran violates women's rights / Sam Brownback -- Sudanese government engages in genocide / Human Rights Watch -- United States violates human rights worldwide / Vernon Coleman -- Rogue nations undermine the United Nations' mission to promote human rights / Joseph Loconte -- U.S. invasions have not spread democracy in the Middle East / Phyllis Bennis -- How should the global community respond to rogue nations? -- Preemptive force is sometimes necessary to contain rogue nations / National Review -- Preemptive force threatens efforts to contain rogue states / Ivan Eland -- Missile defense system is necessary to protect against rogue nations / Dennis Ross -- Missile defense system is unnecessary / Gwynne Dyer -- Promoting globalization will reduce the threat posed by rogue states / Banning N. Garrett, Dennis M. Sherman -- Globalization
پدیدآورنده: Louise Gerdes, book editor.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
80. Image Analysis, Random Fields and Markov Chain Monte Carlo Methods
پدیدآورنده: by Gerhard Winkler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer simulation.,Computer vision.,Distribution (Probability theory).,Mathematics.,Medical radiology.,Numerical analysis.
